@TechReport{z013tr,
  title        = "Z0: An Optimizing Distributing Zero-Knowledge Compiler",
  author       = "Matt Fredrikson and Benjamin Livshits",
  year         = "2013",
  month        = apr,
  institution  = "Microsoft Research",
  number       = "MSR-TR-2013-43",
}